<?php
	session_start();
	echo "bonjour ".$_SESSION['prenom']." ".$_SESSION['nom'];
?>